On Exact Polya and Putinar's Representations

نویسندگان

  • Victor Magron
  • Mohab Safey El Din
چکیده

We consider the problem of finding exact sums of squares (SOS) decompositions for certain classes of non-negative multivariate polynomials, relying on semidefinite programming (SDP) solvers. We start by providing a hybrid numeric-symbolic algorithm computing exact rational SOS decompositions for polynomials lying in the interior of the SOS cone. It computes an approximate SOS decomposition for a perturbation of the input polynomial with an arbitrary-precision SDP solver. An exact SOS decomposition is obtained thanks to the perturbation terms. We prove that bit complexity estimates on output size and runtime are both polynomial in the degree of the input polynomial and simply exponential in the number of variables. Next, we apply this algorithm to compute exact Polya and Putinar’s representations respectively for positive definite forms and positive polynomials over basic compact semi-algebraic sets. We also compare the implementation of our algorithms with existing methods in computer algebra including cylindrical algebraic decomposition and critical point method.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

On the Exact Solution of a Generalized Polya Process

There are two types of master equations in describing nonequilibrium phenomena with memory effect: i the memory function type and ii the nonstationary type. A generalized Polya process is studied within the framework of a non-stationary type master equation approach. For a transitionrate with an arbitrary time-dependent relaxation function, the exact solution of a generalized Polya process is o...

متن کامل

The Representations and Positive Type Functions of Some Homogenous Spaces

‎For a homogeneous spaces ‎$‎G/H‎$‎, we show that the convolution on $L^1(G/H)$ is the same as convolution on $L^1(K)$, where $G$ is semidirect product of a closed subgroup $H$ and a normal subgroup $K $ of ‎$‎G‎$‎. ‎Also we prove that there exists a one to one correspondence between nondegenerat $ast$-representations of $L^1(G/H)$ and representations of ...

متن کامل

An Autoregressive Approach to Nonparametric Hierarchical Dependent Modeling

We propose a conditional autoregression framework for a collection of random probability measures. Under this framework, we devise a conditional autoregressive Dirichlet process (DP) that we call one-parameter dependent DP (ω-DDP). The appealing properties of this specification are that it has two equivalent representations and its inference can be implemented in a conditional Polya urn scheme....

متن کامل

Brain-specific polyA- transcripts are detected in polyA+ RNA: do complex polyA- brain RNAs really exist?

Transcripts encoded by 2 different rat genomic clones, rg13 and rg100, appear to be typical brain-specific polyA- RNAs, as defined by previous criteria (rare, polysomal, and postnatally expressed from single-copy genes). However, we have found by using a sensitive nuclease protection assay that low levels of these transcripts (10% and 3%, respectively) are detected in polyA+ RNA. To determine i...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • CoRR

دوره abs/1802.10339  شماره 

صفحات  -

تاریخ انتشار 2018